| Ident. | Authors (with country if any) | Title |
|---|
| 001531 |
Claude Kirchner [France] ; Hélène Kirchner [France] ; Fabrice Nahon [France] | Narrowing Based Inductive Proof Search |
| 001E34 |
Tony Bourdier [France] ; Horatiu Cirstea [France] ; Mathieu Jaume [France] ; Hélène Kirchner [France] | Formal Specification and Validation of Security Policies |
| 002805 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Proving weak properties of rewriting |
| 002C33 |
Tony Bourdier [France] ; Horatiu Cirstea [France] ; Mathieu Jaume [France] ; Hélène Kirchner [France] | Rule-based Specification and Analysis of Security Policies |
| 002D93 |
Tony Bourdier [France] ; Horatiu Cirstea [France] ; Mathieu Jaume [France] ; Hélène Kirchner [France] | On Formal Specification and Analysis of Security Policies |
| 002E93 |
Tony Bourdier [France] ; Horatiu Cirstea [France] ; Daniel Dougherty [États-Unis] ; Hélène Kirchner [France] | Extensional and Intensional Strategies |
| 003743 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Termination of Rewriting under Strategies |
| 003942 |
Fabrice Nahon [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Paul Brauner [France] | Inductive proof search modulo |
| 003A32 |
Oana Andrei [France] ; Hélène Kirchner [France] | A Higher-Order Graph Calculus for Autonomic Computing |
| 003C48 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Proving weak properties of rewriting |
| 003C61 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Modeling reducibility on ground terms using constraints |
| 003E43 |
Oana Andrei [France] ; Hélène Kirchner [France] | A Higher-Order Graph Calculus for Autonomic Computing |
| 003F00 |
Oana Andrei [France] ; Hélène Kirchner [France] | A Biochemical Calculus Based on Strategic Graph Rewriting |
| 003F50 |
Anderson Santana De Oliveira [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | Analysis of Rewrite-Based Access Control Policies |
| 004075 |
Oana Andrei [France] ; Hélène Kirchner [France] | Strategic Port Graph Rewriting for Autonomic Computing |
| 004670 |
Anderson Santana De Oliveira [France] ; Eric Ke Wang ; Claude Kirchner [France] ; Hélène Kirchner [France] | Weaving Rewrite-Based Access Control Policies |
| 004724 |
Oana Andrei [France] ; Hélène Kirchner [France] | Graph Rewriting and Strategies for Modeling Biochemical Networks |
| 004759 |
Fabrice Nahon [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | Inductive Proof Search Modulo |
| 004852 |
Oana Andrei [France] ; Hélène Kirchner [France] | A Rewriting Calculus for Multigraphs with Ports |
| 004913 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations |
| 004C20 |
Isabelle Gnaedig ; Hélène Kirchner | Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations |
| 004C25 |
Daniel J. Dougherty ; Claude Kirchner ; Hélène Kirchner ; Anderson Santana De Oliveira | Modular Access Control Via Strategic Rewriting |
| 005067 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Computing Constructor Forms with Non Terminating Rewrite Programs |
| 005084 |
Oana Andrei [France] ; Liliana Ibanescu [France] ; Hélène Kirchner [France] | Non-intrusive formal methods and strategic rewriting for a chemical application |
| 005228 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Termination of rewriting under strategies: a generic approach |
| 005431 |
Oana Andrei [France] ; Liliana Ibanescu [France] ; Hélène Kirchner [France] | Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application |
| 005528 |
Hélène Kirchner ; Silvio Ranise ; Christophe Ringeissen ; Duc-Khanh Tran | Automatic Combinability of Rewriting-Based Satisfiability Procedures |
| 005793 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Computing Constructor Forms with Non Terminating Rewrite Programs - Extended version - |
| 005923 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Termination of rewriting strategies: a generic approach |
| 005A43 |
Olivier Bournez [France] ; Liliana Ibanescu [France] ; Hélène Kirchner [France] | From Chemical Rules to Term Rewriting |
| 005A76 |
Claude Kirchner [France] ; Hélène Kirchner [France] ; Anderson Santana De Oliveira [France] | Anchoring modularity in HTML. |
| 005E25 |
Hélène Kirchner ; Silvio Ranise ; Christophe Ringeissen ; Duc-Khanh Tran | On Superposition-Based Satisfiability Procedures and their Combination |
| 005F28 |
Isabelle Gnaedig ; Hélène Kirchner | Termination of rewriting strategies : a generic approach |
| 005F29 |
Isabelle Gnaedig ; Hélène Kirchner | Termination of rewriting strategies : a generic approach |
| 005F67 |
Claude Kirchner ; Hélène Kirchner ; Anderson Santana De Oliveira | Anchoring modularity in HTML |
| 006091 |
Olivier Bournez ; Liliana Ibanescu ; Hélène Kirchner | From Chemical Rules to Term Rewriting |
| 006223 |
Hélène Kirchner ; Silvio Ranise ; Christophe Ringeissen ; Duc Khanh Tran | On Superposition-Based Satisfiability Procedures and Their Combination |
| 006319 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | A Proof of Weak Termination Providing the Right Way to Terminate |
| 006466 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Termination of rewriting strategies: a generic approach |
| 006B37 |
Claude Kirchner [France] ; Hélène Kirchner [France] | Rule-Based Programming and Proving: The ELAN Experience Outcomes |
| 006E95 |
Claude Kirchner [France] ; Hélène Kirchner [France] | Rule-based programming and proving: the ELAN experience outcomes |
| 006F07 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Proving weak termination also provides the right way to terminate - Extended version - |
| 007098 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | A proof of weak termination providing the right way to terminate |
| 007195 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Simplification and Termination of Strategies in Rule-Based Languages |
| 007220 |
Eric Deplagne [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Quang-Huy Nguyen [France] | Proof Search and Proof Check for Equational and Inductive Theorems |
| 007254 |
Olivier Bournez [France] ; Guy-Marie Côme [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Mariana-Liliana Ibanescu [France] | Automated Generation of Kinetic Chemical Mechanisms Using Rewriting |
| 007256 |
Olivier Bournez [France] ; Guy-Marie Côme [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Mariana-Liliana Ibanescu [France] | A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms |
| 007423 |
Liliana Ibanescu ; Hélène Kirchner ; Olivier Bournez ; Guy-Marie Côme ; Gérard Scacchi ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 5 |
| 007424 |
Liliana Ibanescu ; Olivier Bournez ; Hélène Kirchner ; Guy-Marie Côme ; Gérard Scacchi ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 4 |
| 007441 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Outermost ground termination |
| 007505 |
Isabelle Gnaedig ; Hélène Kirchner | Innermost sufficient completeness |
| 007550 |
Olivier Bournez ; Guy-Marie Côme ; Valérie Conraud ; Hélène Kirchner ; Mariana-Liliana Ibanescu | Automated Generation of Kinetic Chemical Mechanisms Using Rewriting |
| 007563 |
Mohamed El Habib ; Claude Kirchner ; Hélène Kirchner ; Jean-Yves Marion ; Stephan Merz | The QSL platform at LORIA |
| 007572 |
Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | Simplification and Termination of Strategies in Rule-Based Languages |
| 007598 |
Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | Proving weak termination also provides the right way to terminate - extended version - |
| 007614 |
Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | Proving weak termination also provides the right way to terminate |
| 007630 |
Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | Termination of ELAN strategies by simplification - Extended version - |
| 007668 |
Olivier Bournez ; Guy-Marie Côme ; Valérie Conraud ; Hélène Kirchner ; Mariana-Liliana Ibanescu | A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms |
| 007809 |
Eric Deplagne ; Claude Kirchner ; Hélène Kirchner ; Quang Huy Nguyen | Proof Search and Proof Check for Equational and Inductive Theorems |
| 007827 |
Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | Outermost ground termination |
| 007A08 |
Eric Deplagne ; Claude Kirchner ; Hélène Kirchner [France] ; Quang Huy Nguyen | Proof Search and Proof Check for Equational and Inductive Theorems |
| 007A93 |
Olivier Bournez [France] ; Guy-Marie Côme [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Liliana Ib Nescu [France] | Automated Generation of Kinetic Chemical Mechanisms Using Rewriting |
| 007B15 |
Olivier Bournez [France] ; Guy-Marie Côme [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Liliana Ib Nescu [France] | A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms |
| 007C24 |
Liliana Ibanescu [France] ; Hélène Kirchner [France] ; Olivier Bournez [France] ; Guy-Marie Côme ; Gérard Scacchi ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 5 |
| 007C25 |
Liliana Ibanescu [France] ; Olivier Bournez [France] ; Hélène Kirchner [France] ; Guy-Marie Côme ; Gérard Scacchi ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 4 |
| 007C55 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Innermost sufficient completeness |
| 007D40 |
Mohamed El Habib ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Jean-Yves Marion [France] ; Stephan Merz [France] | The QSL platform at LORIA |
| 007D43 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Termination of ELAN strategies by simplification - Extended version - |
| 007D66 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Proving weak termination also provides the right way to terminate |
| 007D67 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Proving weak termination also provides the right way to terminate - extended version - |
| 007E55 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | CARIBOO: A Multi-Strategy Termination Proof Tool Based on Induction |
| 007F45 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | CARIBOO: An Induction Based Proof Tool for Termination with Strategies |
| 007F74 |
Hubert Dubois [France] ; Hélène Kirchner [France] | An algebraic semantics for objects in a rule-based language |
| 007F75 |
Hélène Kirchner [France] ; Christophe Ringeissen [France] | Algebraic Methodology And Software Technology |
| 008044 |
Hubert Dubois [France] ; Hélène Kirchner [France] | Object Programming in a Rule-Based Language with Strategies |
| 008223 |
Liliana Ibanescu ; Olivier Bournez ; Hélène Kirchner ; Guy-Marie Côme ; Gérard Scacchi ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 3 |
| 008224 |
Liliana Ibanescu ; Olivier Bournez ; Hélène Kirchner ; Guy-Marie Côme ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 2 |
| 008353 |
Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | CARIBOO : An Induction Based Proof Tool for Termination with Strategies -- Extended version-- |
| 008377 |
Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | CARIBOO : An Induction Based Proof Tool for Termination with Strategies |
| 008426 |
Egidio Astesiano ; Michel Bidoit ; Hélène Kirchner ; Bernd Krieg-Brückner ; Peter D. Mosses ; Donald Sannella ; Andrzej Tarlecki | CASL : The Common Algebraic Specification Language |
| 008450 |
Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Pierre-Etienne Moreau | ELAN from a rewriting logic point of view |
| 008500 |
Isabelle Gnaedig ; Olivier Fissore ; Hélène Kirchner | Induction for weak termination |
| 008503 |
Hubert Dubois ; Hélène Kirchner | Object Programming in a Rule-Based Language with Strategies |
| 008549 |
Hubert Dubois ; Hélène Kirchner | An algebraic semantics for objects in a rule-based language |
| 008580 |
Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | Outermost ground termination - Extended version |
| 008618 |
Quang Huy Nguyen ; Claude Kirchner ; Hélène Kirchner | External rewriting for skeptical proof assistants (extended version) |
| 008622 |
Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | Outermost ground termination |
| 008635 |
Quang Huy Nguyen ; Claude Kirchner ; Hélène Kirchner | External rewriting for skeptical proof assistants |
| 008804 |
Quang Huy Nguyen ; Claude Kirchner ; Hélène Kirchner | External Rewriting for Skeptical Proof Assistants |
| 008914 |
Peter Borovansky [Slovaquie] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] | ELAN from a rewriting logic point of view |
| 008923 |
Egidio Astesiano [Italie] ; Michel Bidoit [France] ; Hélène Kirchner [France] ; Bernd Krieg-Brückner [Allemagne] ; Peter D. Mosses [Danemark] ; Donald Sannella [Royaume-Uni] ; Andrzej Tarlecki [Pologne] | CASL: the Common Algebraic Specification Language |
| 008970 |
Liliana Ibanescu [France] ; Olivier Bournez [France] ; Hélène Kirchner [France] ; Guy-Marie Côme ; Gérard Scacchi ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 3 |
| 008971 |
Liliana Ibanescu [France] ; Olivier Bournez [France] ; Hélène Kirchner [France] ; Guy-Marie Côme ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 2 |
| 008A91 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Outermost ground termination |
| 008A92 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Outermost ground termination - Extended version |
| 008B25 |
Isabelle Gnaedig [France] ; Olivier Fissore [France] ; Hélène Kirchner [France] | Induction for weak termination |
| 008B44 |
Quang-Huy Nguyen [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | External rewriting for skeptical proof assistants (extended version) |
| 008B73 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | CARIBOO: An Induction Based Proof Tool for Termination with Strategies -- Extended version-- |
| 008E03 |
Liliana Ibanescu ; Olivier Bournez ; Hélène Kirchner ; Guy-Marie Côme ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 1 |
| 008E10 |
Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Christophe Ringeissen [France] | Rewriting with strategies in ELAN: a functional semantics |
| 008E75 |
Hélène Kirchner ; Peter D. Mosses | Algebraic Specifications, Higher-order Types and Set-theoretic Models |
| 008F59 |
Isabelle Gnaedig ; Hélène Kirchner ; Olivier Fissore | Induction for innermost and outermost ground termination |
| 008F65 |
Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | Induction for termination with local strategies - Extended version - |
| 008F85 |
Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Christophe Ringeissen | Rewriting with strategies in ELAN : a functional semantics |
| 008F88 |
Olivier Fissore ; Isabelle Gnaedig ; Hélène Kirchner | Induction for termination with local strategies |
| 009080 |
Hélène Kirchner | Prototyping and verfication with rules and strategies |
| 009180 |
Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] | Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories |
| 009195 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Induction for termination with local strategies |
| 009488 |
Liliana Ibanescu [France] ; Olivier Bournez [France] ; Hélène Kirchner [France] ; Guy-Marie Côme ; Valérie Conraud | Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 1 |
| 009597 |
Hélène Kirchner [France] | Prototyping and verfication with rules and strategies |
| 009638 |
Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France] | Induction for termination with local strategies - Extended version - |
| 009639 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] ; Olivier Fissore [France] | Induction for innermost and outermost ground termination |
| 009807 |
Hélène Kirchner [France] | Algebraic Specifications, Higher-Order Types and Set-Theoretic Models |
| 009838 |
Hubert Dubois ; Hélène Kirchner | Objects, rules and strategies in ELAN |
| 009898 |
Hubert Dubois ; Hélène Kirchner | Rules, strategies and objects in ELAN |
| 009A81 |
Hélène Kirchner ; Isabelle Gnaedig | Termination and normalisation under strategies--Proofs in ELAN |
| 009B02 |
Hélène Kirchner | Combining assisted and automated deduction |
| 009B35 |
Isabelle Gnaedig ; Hélène Kirchner ; Olivier Fissore | Induction for termination |
| 009B70 |
Hubert Dubois ; Hélène Kirchner | Rule Based Programming with Constraints and Strategies |
| 009B96 |
Hélène Kirchner | Algebraic Specifications, Higher-Order Types and Set-Theoretic Models |
| 009D07 |
Hélène Kirchner [France] ; Isabelle Gnaedig [France] | Termination and normalisation under strategy Proofs in ELAN |
| 009D51 |
Peter Borovansk ; Claude Kirchner ; Hélène Kirchner ; Pierre-Etienne Moreau ; Marian Vittek | ELAN |
| 009D55 |
Peter Borovansk [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | Controlling Rewriting by Rewriting |
| 009D69 |
Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] | A reflective extension of ELAN |
| 009F04 |
Bernhard Gramlich [Autriche] ; Hélène Kirchner [France] ; Frank Pfenning [États-Unis] | Editorial: Strategies in Automated Deduction |
| 009F19 |
Hélène Kirchner | Combining assisted and automated deduction |
| 00A133 |
Hélène Kirchner [France] ; Isabelle Gnaedig [France] | Termination and normalisation under strategies--Proofs in ELAN |
| 00A148 |
Hubert Dubois [France] ; Hélène Kirchner [France] | Rules, strategies and objects in ELAN |
| 00A179 |
Hubert Dubois [France] ; Hélène Kirchner [France] | Objects, rules and strategies in ELAN |
| 00A207 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] ; Olivier Fissore [France] | Induction for termination |
| 00A218 |
Hélène Kirchner [France] ; Christophe Ringeissen [France] | Frontiers of Combining Systems |
| 00A373 |
Hélène Kirchner [France] ; Peter D. Mosses | Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models |
| 00A376 |
Hélène Kirchner | ELAN |
| 00A467 |
Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Christophe Ringeissen [France] | Rewriting with strategies in ELAN: a functional semantics |
| 00A519 |
Hélène Kirchner | Term Rewriting |
| 00A567 |
Maura Cerioli ; Martin Gogolla ; Hélène Kirchner ; Bernd Krieg-Brueckner ; Zhenyu Qian ; Markus Wolf | Algebraic System Specification and Developement :Survey and Annotated Bibliography |
| 00A592 |
Hélène Kirchner ; Christophe Ringeissen | Executing CASL Equational Specifications with the ELAN Rewrite Engine |
| 00A635 |
Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Christophe Ringeissen | Rewriting with strategies in ELAN : a functional semantics |
| 00A663 |
Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Pierre-Etienne Moreau | ELAN from the rewriting logic point of view |
| 00A714 |
Isabelle Gnaedig ; Hélène Kirchner ; Thomas Genet | Induction for Termination |
| 00A722 |
Hubert Dubois ; Hélène Kirchner | Modelling Planning Problems with Rules and Strategies |
| 00A727 |
Hubert Dubois ; Hélène Kirchner | Rule Based Programming with Constraints and Strategies |
| 00A754 |
Hélène Kirchner ; Peter D. Mosses | Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models |
| 00AB94 |
Hélène Kirchner [France] | ELAN |
| 00AC19 |
Hélène Kirchner [France] | Term Rewriting |
| 00AC36 |
Hubert Dubois [France] ; Hélène Kirchner [France] | Rule Based Programming with Constraints and Strategies |
| 00AC37 |
Hubert Dubois [France] ; Hélène Kirchner [France] | Rule Based Programming with Constraints & Strategies |
| 00AC75 |
Hubert Dubois [France] ; Hélène Kirchner [France] | Modelling Planning Problems with Rules & Strategies |
| 00AC92 |
Isabelle Gnaedig [France] ; Hélène Kirchner [France] ; Thomas Genet | Induction for Termination |
| 00AD15 |
Hélène Kirchner [France] ; Christophe Ringeissen [France] | Executing CASL Equational Specifications with the ELAN Rewrite Engine |
| 00AD21 |
Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] | ELAN from the rewriting logic point of view |
| 00AD55 |
Maura Cerioli ; Martin Gogolla ; Hélène Kirchner [France] ; Bernd Krieg-Brückner ; Zhenyu Qian ; Markus Wolf | Algebraic System Specification and Developement:Survey and Annotated Bibliography |
| 00AF40 |
Peter Borovansky ; Claude Kirchner ; Hélène Kirchner | Rewriting as a Unified Specification Tool for Logic and Control : The ELAN Language |
| 00AF54 |
Peter Borovansky ; Claude Kirchner ; Hélène Kirchner ; Pierre-Etienne Moreau ; Christophe Ringeissen | An Overview of ELAN |
| 00B029 |
Claus Hintermeier ; Claude Kirchner ; Hélène Kirchner | Dynamically-Typed Computations for Order-Sorted Equational Presentations |
| 00B052 |
Peter Borovansky ; Claude Kirchner ; Hélène Kirchner | A functional view of rewriting and strategies for a semantics of ELAN |
| 00B079 |
Hélène Kirchner ; Pierre-Etienne Moreau | Non-deterministic computations in ELAN |
| 00B143 |
Hubert Dubois ; Hélène Kirchner | Actions and Plans in ELAN |
| 00B156 |
Hélène Kirchner | Trees in Algebra and Programming |
| 00B161 |
Hélène Kirchner | Orderings in Automated Theorem Proving |
| 00B170 |
Claude Kirchner ; Hélène Kirchner | Automated Deduction - CADE-15 |
| 00B178 |
Pierre-Etienne Moreau ; Hélène Kirchner | A Compiler for Rewrite Programs in Associative-Commutative Theories |
| 00B236 |
Claude Kirchner ; Hélène Kirchner | Preface |
| 00B269 |
Peter Borovansk ; Claude Kirchner ; Hélène Kirchner [France] ; Pierre-Etienne Moreau ; Christophe Ringeissen | An Overview of ELAN |
| 00B397 |
Hélène Kirchner [France] ; Peter D. Mosses [États-Unis, Danemark] | Algebraic Specifications, Higher-Order Types and Set-Theoretic Models |
| 00B402 |
Pierre-Etienne Moreau [France] ; Hélène Kirchner [France] | A compiler for rewrite programs in associative-commutative theories |
| 00B552 |
Hélène Kirchner [France] | Trees in Algebra and Programming |
| 00B587 |
Peter Borovansky [France] ; Claude Kirchner ; Hélène Kirchner | Rewriting as a Unified Specification Tool for Logic and Control: The ELAN Language |
| 00B608 |
Hélène Kirchner [France] | Orderings in Automated Theorem Proving |
| 00B618 |
Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] | Non-deterministic computations in ELAN |
| 00B687 |
Claude Kirchner [France] ; Hélène Kirchner | Automated Deduction - CADE-15 |
| 00B695 |
Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] | An Overview of ELAN |
| 00B701 |
Hubert Dubois [France] ; Hélène Kirchner [France] | Actions & Plans in ELAN |
| 00B708 |
Peter Borovansky [France] ; Claude Kirchner ; Hélène Kirchner | A functional view of rewriting and strategies for a semantics of ELAN |
| 00B723 |
Pierre-Etienne Moreau [France] ; Hélène Kirchner [France] | A Compiler for Rewrite Programs in Associative-Commutative Theories |
| 00B892 |
Pierre-Etienne Moreau ; Hélène Kirchner | Compilation of Associative-Commutative Normalisation with Strategies in ELAN (Full version) |
| 00B937 |
Pierre-Etienne Moreau ; Hélène Kirchner | Compilation Techniques for Associative-Commutative Normalisation |
| 00B964 |
Bernhard Gramlich ; Hélène Kirchner | Proceedings of the CADE-14 Workshop on Strategies in Automated Deduction |
| 00B978 |
Peter Borovansky ; Hélène Kirchner | Strategies of ELAN : meta-interpretation and partial evaluation |
| 00BA78 |
Peter Borovansky ; Claude Kirchner ; Hélène Kirchner | Strategies and rewriting in ELAN |
| 00C033 |
Claus Hintermeier [France] ; Hélène Kirchner [France] ; Peter D. Mosses [Danemark] | R n - and G n -logics |
| 00C081 |
Claus Hintermeier [France] ; Hélène Kirchner [France] ; Peter D. Mosses [Danemark] | Combining algebraic and set-theoretic specifications |
| 00C703 |
Claus Hintermeier [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | Sort inheritance for order-sorted equational presentations |
| 00C704 |
Hélène Kirchner [France] | Some extensions of rewriting |
| 00C717 |
Hélène Kirchner [France] ; Pierre-Etienne Moreau | Prototyping completion with constraints using computational systems |
| 00C724 |
Hélène Kirchner [France] | On the use of constraints in automated deduction |
| 00CD30 |
Claus Hintermeier [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | Dynamically-typed computations for order-sorted equational presentations |
| 00CD92 |
Claus Hintermeier [France] ; Hélène Kirchner [France] ; Claude Kirchner [France] | Dynamically-typed computations for order-sorted equational presentations |
| 00DA47 |
Hélène Kirchner [France] | Proofs in parameterized specifications |
| 00DA59 |
Hélène Kirchner [France] ; Miki Hermann [France] | Meta-rule synthesis from crossed rewrite systems |
| 00DE70 |
Claude Kirchner [France] ; Hélène Kirchner ; Michaël Rusinowitch | Deduction with symbolic constraints |
| 00E343 |
Claude Kirchner [France] ; Hélène Kirchner [France] ; José Meseguer [États-Unis] | Operational semantics of OBJ-3 |
| 00E348 |
Jean-Pierre Jouannaud [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Aristide Mégrelis [France] | OBJ: Programming with equalities, subsorts, overloading and parameterization |
| 00E358 |
Isabelle Gnaedig [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] | Equational completion in order-sorted algebras extended abstract |
| 00E373 |
Joseph Goguen ; Claude Kirchner ; Hélène Kirchner ; Aristide Mégrelis ; José Meseguer ; Timothy Winkler | An introduction to OBJ 3 |
| 00E599 |
Hélène Kirchner [France] | Schematization of infinite sets of rewrite rules. Application to the divergence of completion processes |
| 00EA42 |
Pierre Rety [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre Lescanne [France] | NARROWER: a new algorithm for unification and its application to Logic Programming |
| 00EA44 |
Claude Kirchner [France] ; Hélène Kirchner [France] | Implementation of a general completion procedure parameterized by built-in theories and strategies |
